💎 Anna KVS - hello · Scour

Completing the formal proof of higher-dimensional sphere packing

math.inc·14h·

Discuss: Hacker News

📏Linear Types

Art School Girlfriend turned ambient synths and micro drums into a wall of sound

youtube.com·1d

🎨Creative Coding

Efficient Long-Sequence Diffusion Modeling for Symbolic Music Generation

arxiv.org·4h

✏️Count-Min Sketch

Finite Neural Networks as Mixtures of Gaussian Processes: From Provable Error Bounds to Prior Selection

jmlr.org·21h

Why AI requires rethinking the storage-compute divide

infoworld.com·27m

📋Columnar Storage

xraymemory/vibetheory: A mathematical model of aesthetic vibe, based on Peli Grietzer's Theory of Vibe (2017, 2025). Implements both VAE and diffusion/manifold models to derive the vibe of a given text.

github.com·10h·

Discuss: Hacker News

💫Effect Systems

Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity

arxiv.org·1d

🧮SMT Solvers

How We Animated GraphCast’s Global Weather Predictions in Real-Time on an iPhone Using Cesium & WebGL Shaders

dev.to·8h·

Discuss: DEV

Generative modeling enables molecular structure retrieval from Coulomb explosion imaging

nature.com·9h

Beyond .predict(): Building a KNN From Scratch

pub.towardsai.net

·3h

🧮Vector Databases

WarpSpeed automatically rewrites Nvidia core library, achieves 3.6-100x speedup

doubleai.com·16h·

Discuss: Hacker News

⚡Hardware Acceleration

How I Built a Full AI Studio for 6GB VRAM Cards (In 9 Hours of AI-Assisted Chaos)

hackernoon.com·12h

Caterina Barbieri

pitchfork.com·1d

🎨Creative Coding

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·12h

💃Dancing Links

Proving Sonoluminescence in Zero Knowledge: How We Built a 1,664-Byte Proof for Real Physics

dev.to·21h·

Discuss: DEV

👻Phantom Types

Optimizing Recommendation Systems with JDK’s Vector API

netflixtechblog.com·7h·

Discuss: Hacker News, r/programming

⚡SIMD Optimization

SMVDU hosts workshop on ‘Foundational AI: Large Language Models & Generative AI’

dailyexcelsior.com·1d

💬Prompt Engineering

TyKolt/kremis: A minimal graph engine for grounded AI — records, associates, and retrieves, but never invents. Written in Rust.

github.com·16h·

Discuss: Hacker News

Tessellations, Escher-style

tiled.art·1d

🎨Creative Coding

Loading more...